Comparing CλaSH and VHDL by implementing a dataflow processor

نویسندگان

  • Anja Niedermeier
  • Rinse Wester
  • Christiaan Baaij
  • Jan Kuper
  • Gerard Smit
چکیده

As embedded systems are becoming increasingly complex, the design process and verification have become very time-consuming. Additionally, specifying hardware manually in a low-level hardware description language like VHDL is usually an error-prone task. In our group, a tool (the CλaSH compiler) was developed to generate fully synthesisable VHDL code from a specification given in the functional programming language Haskell. In this paper, we present a comparison between two implementations of the same design by using CλaSH and handwritten VHDL. The design is a simple dataflow processor. As measures of interest area, performance, power consumption and source lines of code (SLOC) are used. The obtained results indicate that the CλaSH-generated VHDL code as well as the netlist after synthesis and place and route are functionally correct. The placed and routed hand-written VHDL code has also the correct behaviour. Furthermore, a similar performance is achieved. The power consumption is even lower for the CλaSH implementation. The SLOC for CλaSH is considerably smaller and it is possible to specify the design in a much higher level of abstraction compared to VHDL.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Designing a dataflow processor using CλaSH

In this paper we show how a simple dataflow processor can be fully implemented using CλaSH, a high level HDL based on the functional programming language Haskell. The processor was described using Haskell, the CλaSH compiler was then used to translate the design into a fully synthesisable VHDL code. The VHDL code was synthesised with 90 nm TSMC libraries and placed and routed. Simulation of the...

متن کامل

Implementing Recursive Algorithms within Hardware using Finite State Machines

This paper proposes a method of combining the concepts of recursive algorithms and functional programming in hardware design. Though recursion is readily available in functional programming languages, a translation step is required to convert the recursion in such functional program to a synthesizable hardware specification. This proposal uses the idea of Finite State Machines used in [5], comb...

متن کامل

Chapter 1 Architecture specifications in C λ aSH

This paper introduces CλaSH, a novel hardware specification environment, by discussing several non-trivial examples. CλaSH is based on the functional language Haskell, and exploits many of its powerful abstraction mechanisms such as higher order functions, polymorphism, lambda abstraction, pattern matching, type derivation. As a result, specifications in CλaSH are concise and semantically clear...

متن کامل

Compiling Recursion to Reconfigurable Hardware using CLaSH

Recursion is an important problem solving technique and implementing it on hardware is not trivial. In this research several methods on how to do this are discussed and one is implemented. The goal is to find out if it is possible to automate the process of making recursion possible on hardware and add this automation to the CλaSH compiler. The CλaSH compiler is a compiler from Haskell to VHDL,...

متن کامل

Dataflow design of a co-processor architecture for image processing

This paper presents the comparison of two design methodologies applied to the design of a co-processor dedicated to image processing. The first methodology is the classical development based on specifying the architecture by directly writing a HDL model using VHDL or Verilog. The second methodology is based on specifying the architecture by using a high level dataflow language followed then by ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010